\begin{tabbing}
(\=(ExRepD$\cdot$) \+
\\[0ex]CollapseTHEN (Using [`n1',$i$] (BHyp 3))$\cdot$) 
\\[0ex]CollapseTHEN (Auto')$\cdot$
\-
\end{tabbing}